Automated support for state based testing
نویسنده
چکیده
In this paper the object-oriented software testing environment (TOSTER) is presented. This environment supports the state based testing of object programs. TOSTER extracts information from two commercial CASE tools – Paradigm Plus and Select Enterprise and supports test generation for C++ and Java classes. In TOSTER the state vector testing method is used. The state vector method and its implementation is briefly described. A simple example of testing in this environment is also given.
منابع مشابه
An automatic test case generator for evaluating implementation of access control policies
One of the main requirements for providing software security is the enforcement of access control policies which aim to protect resources of the system against unauthorized accesses. Any error in the implementation of such policies may lead to undesirable outcomes. For testing the implementation of access control policies, it is preferred to use automated methods which are faster and more relia...
متن کاملDiagnosis of brain tumor using PNN neural networks
Cells grow and then need a very neat method to create new cells that work properly to maintain the health of the body. When the ability to control the growth of the cells is lost, they are unconsidered and often divided without order. Exemplified cells form a tissue mass called the tumor. In fact, brain tumors are abnormal and uncontrolled cell proliferations. Segmentation methods are used in b...
متن کاملAutomated Test Case Generation for Industrial Control Applications
The need for increasing flexibility of industrial automation system products leads to the trend of shifting functional behavior from hardware solutions to software components. This trend causes an increasing complexity of software components and the need for comprehensive and automated testing approaches to ensure a required (high) quality level. Nevertheless, key tasks in software testing incl...
متن کاملScenario-based and State Machine-based Testing: An Evaluation of Automated Approaches
Software testing is regarded by practitioners as the central activity used for ensuring that a system behaves as expected. It consists of the following activities: test generation, execution, evaluation, coverage analysis and regression testing. Testing is often a neglected activity that has the potential and the need for benefiting from automation. In fact, testing solutions currently availabl...
متن کاملA hybrid object-oriented class testing method : based on state-based and data-flow testing
A new hybrid object-oriented class testing method, which combines state-based testing with data-flow testing approaches, is proposed in this paper. Based on this approach, an automated class test tool, called MACT (Method for Automated Class Testing), has been built. This consists of five components: a test case tree generator, a test message generator, a test driver, a test result inspector an...
متن کامل